退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:1将正式方法应用于网络:理论,技术和应用
Junaid Qadir; Osman Hasan;
机译:将正式方法应用于网络:理论,技术和应用
机译:在Mcrl和Groove中将形式化方法应用于闲聊网络
机译:用于安全可靠应用程序的正式方法,技术和工具
机译:迈克尔·杰克逊的问题框架:选择和应用正式软件开发技术和工具的方法论原则
机译:将形式控制理论技术应用于计算机系统性能管理。
机译:图论方法:在脑网络中的应用
机译:应用形式化方法进行组网:理论,技术与方法 应用
机译:在大批量生产的非润滑磨损表面上应用熔融碳化物的应用技术和方法。
机译:使用形式化技术对交换网络逻辑进行设计验证
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:吸血鬼通过作者运用法国物理学家朴素的推进理论产生的物理数学技术将引力转化为反引力。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。